<?php
  class Core_SSH_DesException extends Exception{
  
  }